• क्रमादेश शुद्धता प्रमाण• प्रोग्रामprogram: कार्यक्रमcorrectness: विशुद्धता सत्यताproof: सबूत अप्रवेश्यता
